[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 47 111 91 83 269 46 45

N.S.

1 1.00 0.77 1.82 1.49 1.36 4.41 0.75 0.74

time (sec)

N/A 0.069 0.526 9.371 0.220 0.254 25.134 0.277 0.082

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 47 97 80 46 235 80 46

N.S.

1 1.00 0.77 1.59 1.31 0.75 3.85 1.31 0.75

time (sec)

N/A 0.075 0.455 5.260 0.229 0.257 10.963 0.279 0.074

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 37 83 69 63 197 36 36

N.S.

1 1.00 0.80 1.80 1.50 1.37 4.28 0.78 0.78

time (sec)

N/A 0.067 0.244 2.862 0.203 0.258 4.740 0.272 0.082

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 37 69 58 36 163 58 36

N.S.

1 1.00 0.80 1.50 1.26 0.78 3.54 1.26 0.78

time (sec)

N/A 0.066 0.141 1.549 0.223 0.255 1.993 0.266 19.386

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 27 55 47 41 126 26 26

N.S.

1 1.00 0.87 1.77 1.52 1.32 4.06 0.84 0.84

time (sec)

N/A 0.063 0.095 0.904 0.204 0.264 0.777 0.376 0.053

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 27 41 36 26 92 36 26

N.S.

1 1.00 0.87 1.32 1.16 0.84 2.97 1.16 0.84

time (sec)

N/A 0.065 0.062 0.542 0.197 0.248 0.362 0.302 0.058

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 15 26 26 21 51 13 44

N.S.

1 1.00 0.50 0.87 0.87 0.70 1.70 0.43 1.47

time (sec)

N/A 0.013 0.031 0.377 0.196 0.237 0.168 0.259 19.636

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 20 115 28 0 28 12

N.S.

1 1.00 1.00 1.43 8.21 2.00 0.00 2.00 0.86

time (sec)

N/A 0.023 0.005 0.385 0.306 0.251 0.000 0.262 19.326

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 50 31 236 52 0 52 26

N.S.

1 1.00 1.79 1.11 8.43 1.86 0.00 1.86 0.93

time (sec)

N/A 0.049 0.229 0.773 0.242 0.253 0.000 0.300 0.069

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 29 51 808 85 0 63 48

N.S.

1 1.00 0.59 1.04 16.49 1.73 0.00 1.29 0.98

time (sec)

N/A 0.087 0.021 1.453 0.361 0.253 0.000 0.330 19.308

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 205 71 2174 112 0 160 60

N.S.

1 1.00 3.11 1.08 32.94 1.70 0.00 2.42 0.91

time (sec)

N/A 0.070 0.656 2.234 0.290 0.254 0.000 0.276 20.293

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 31 87 3088 140 0 85 79

N.S.

1 1.00 0.35 0.98 34.70 1.57 0.00 0.96 0.89

time (sec)

N/A 0.092 0.035 3.763 0.441 0.254 0.000 0.273 0.130

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 68 74 72 46 593 36 46

N.S.

1 1.00 1.55 1.68 1.64 1.05 13.48 0.82 1.05

time (sec)

N/A 0.082 0.376 3.017 0.235 0.257 11.201 0.266 19.376

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 62 66 65 67 434 68 110

N.S.

1 1.00 0.82 0.87 0.86 0.88 5.71 0.89 1.45

time (sec)

N/A 0.079 0.240 1.702 0.211 0.251 4.806 0.291 21.153

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 48 52 50 36 359 26 33

N.S.

1 1.00 1.66 1.79 1.72 1.24 12.38 0.90 1.14

time (sec)

N/A 0.076 0.126 0.934 0.198 0.256 2.009 0.377 19.078

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 40 42 41 46 231 44 43

N.S.

1 1.00 0.82 0.86 0.84 0.94 4.71 0.90 0.88

time (sec)

N/A 0.068 0.066 0.525 0.219 0.256 0.828 0.292 19.373

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 30 26 24 131 13 13

N.S.

1 1.00 1.00 2.00 1.73 1.60 8.73 0.87 0.87

time (sec)

N/A 0.048 0.006 0.327 0.198 0.243 0.366 0.259 19.260

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 55 14 0 18 12

N.S.

1 1.00 1.00 0.93 3.93 1.00 0.00 1.29 0.86

time (sec)

N/A 0.036 0.016 0.309 0.222 0.267 0.000 0.259 0.108

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 53 19 0 11 11

N.S.

1 1.00 1.00 0.92 4.08 1.46 0.00 0.85 0.85

time (sec)

N/A 0.046 0.007 1.115 0.207 0.244 0.000 0.304 20.462

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 43 24 641 56 0 41 35

N.S.

1 1.00 1.43 0.80 21.37 1.87 0.00 1.37 1.17

time (sec)

N/A 0.059 0.026 0.990 0.215 0.252 0.000 0.337 0.108

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 48 46 308 43 0 32 33

N.S.

1 1.00 1.14 1.10 7.33 1.02 0.00 0.76 0.79

time (sec)

N/A 0.076 0.336 4.834 0.228 0.244 0.000 0.285 19.515

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 56 62 3164 112 0 74 74

N.S.

1 1.00 0.93 1.03 52.73 1.87 0.00 1.23 1.23

time (sec)

N/A 0.098 0.254 2.913 0.294 0.268 0.000 0.286 19.636

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 37 97 80 73 447 36 36

N.S.

1 1.00 0.80 2.11 1.74 1.59 9.72 0.78 0.78

time (sec)

N/A 0.077 0.360 9.740 0.242 0.244 25.241 0.283 0.088

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 47 71 69 46 366 69 46

N.S.

1 1.00 0.77 1.16 1.13 0.75 6.00 1.13 0.75

time (sec)

N/A 0.079 0.207 5.657 0.230 0.260 11.110 0.299 19.421

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 27 55 47 53 284 26 26

N.S.

1 1.00 0.87 1.77 1.52 1.71 9.16 0.84 0.84

time (sec)

N/A 0.074 0.156 2.893 0.227 0.259 4.827 0.402 0.063

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 37 55 47 36 202 47 36

N.S.

1 1.00 0.80 1.20 1.02 0.78 4.39 1.02 0.78

time (sec)

N/A 0.077 0.109 1.507 0.216 0.245 2.066 0.316 19.234

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 41 34 31 117 13 13

N.S.

1 1.00 1.00 2.73 2.27 2.07 7.80 0.87 0.87

time (sec)

N/A 0.043 0.009 0.762 0.217 0.241 0.788 0.262 19.228

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 27 29 124 36 0 36 23

N.S.

1 1.00 0.96 1.04 4.43 1.29 0.00 1.29 0.82

time (sec)

N/A 0.046 0.019 0.694 0.320 0.246 0.000 0.264 0.070

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 83 13 0 28 13

N.S.

1 1.00 1.00 1.08 6.38 1.00 0.00 2.15 1.00

time (sec)

N/A 0.045 0.014 1.718 0.208 0.245 0.000 0.306 0.032

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 38 37 480 61 0 48 36

N.S.

1 1.00 1.12 1.09 14.12 1.79 0.00 1.41 1.06

time (sec)

N/A 0.050 0.008 2.891 0.337 0.243 0.000 0.340 0.064

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 61 41 987 67 0 98 37

N.S.

1 1.00 1.42 0.95 22.95 1.56 0.00 2.28 0.86

time (sec)

N/A 0.062 0.140 6.727 0.243 0.244 0.000 0.295 0.070

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 29 69 1805 95 0 73 67

N.S.

1 1.00 0.41 0.99 25.79 1.36 0.00 1.04 0.96

time (sec)

N/A 0.094 0.042 13.984 0.391 0.275 0.000 0.278 19.512

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 119 47 91 46 0 270 46

N.S.

1 1.00 1.95 0.77 1.49 0.75 0.00 4.43 0.75

time (sec)

N/A 0.075 0.419 19.920 0.268 0.278 0.000 0.301 20.285

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 61 47 80 73 0 46 45

N.S.

1 1.00 1.00 0.77 1.31 1.20 0.00 0.75 0.74

time (sec)

N/A 0.080 0.044 8.563 0.235 0.247 0.000 0.275 19.971

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 89 37 69 36 0 204 36

N.S.

1 1.00 1.93 0.80 1.50 0.78 0.00 4.43 0.78

time (sec)

N/A 0.072 0.260 6.194 0.203 0.264 0.000 0.286 0.086

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 46 37 58 53 0 36 36

N.S.

1 1.00 1.00 0.80 1.26 1.15 0.00 0.78 0.78

time (sec)

N/A 0.075 0.037 2.293 0.218 0.251 0.000 0.270 0.071

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 59 27 47 26 0 138 26

N.S.

1 1.00 1.90 0.87 1.52 0.84 0.00 4.45 0.84

time (sec)

N/A 0.064 0.158 1.728 0.208 0.253 0.000 0.275 0.060

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 27 36 33 0 26 26

N.S.

1 1.00 1.00 0.87 1.16 1.06 0.00 0.84 0.84

time (sec)

N/A 0.065 0.024 0.626 0.217 0.247 0.000 0.430 0.061

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 23 13 104225 52 13

N.S.

1 1.00 1.00 0.93 1.53 0.87 6948.33 3.47 0.87

time (sec)

N/A 0.051 0.009 0.481 0.227 0.261 93.149 0.299 0.045

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 23 12 11 11 3636 11 11

N.S.

1 1.00 2.09 1.09 1.00 1.00 330.55 1.00 1.00

time (sec)

N/A 0.020 0.007 0.271 0.214 0.240 11.569 0.263 0.025

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 29 31 233 50 0 38 26

N.S.

1 1.00 1.04 1.11 8.32 1.79 0.00 1.36 0.93

time (sec)

N/A 0.050 0.021 0.402 0.333 0.249 0.000 0.256 19.501

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 143 53 974 96 0 137 49

N.S.

1 1.00 2.92 1.08 19.88 1.96 0.00 2.80 1.00

time (sec)

N/A 0.075 0.459 0.513 0.239 0.242 0.000 0.296 19.307

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 31 69 1780 130 0 72 61

N.S.

1 1.00 0.47 1.05 26.97 1.97 0.00 1.09 0.92

time (sec)

N/A 0.081 0.022 0.547 0.357 0.252 0.000 0.387 19.537

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 268 89 3846 148 0 206 78

N.S.

1 1.00 3.01 1.00 43.21 1.66 0.00 2.31 0.88

time (sec)

N/A 0.095 0.719 0.705 0.348 0.250 0.000 0.285 19.466

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 85 103 87 87 0 95 149

N.S.

1 1.00 0.55 0.66 0.56 0.56 0.00 0.61 0.96

time (sec)

N/A 0.222 0.933 46.860 0.226 0.274 0.000 0.311 21.914

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 59 47 72 36 0 46 35

N.S.

1 1.00 1.34 1.07 1.64 0.82 0.00 1.05 0.80

time (sec)

N/A 0.083 0.050 28.895 0.219 0.248 0.000 0.279 19.910

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 62 75 65 66 0 75 109

N.S.

1 1.00 0.56 0.68 0.59 0.59 0.00 0.68 0.98

time (sec)

N/A 0.152 0.194 15.880 0.254 0.251 0.000 0.290 22.221

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 48 27 50 26 0 36 25

N.S.

1 1.00 1.66 0.93 1.72 0.90 0.00 1.24 0.86

time (sec)

N/A 0.073 0.123 8.577 0.234 0.246 0.000 0.273 0.062

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 40 45 43 47 0 55 65

N.S.

1 1.00 0.67 0.75 0.72 0.78 0.00 0.92 1.08

time (sec)

N/A 0.102 0.094 3.555 0.208 0.248 0.000 0.278 20.042

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 26 13 0 13 13

N.S.

1 1.00 1.00 1.08 2.00 1.00 0.00 1.00 1.00

time (sec)

N/A 0.055 0.009 1.533 0.213 0.249 0.000 0.438 0.051

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 20 18 18 22 0 29 17

N.S.

1 1.00 0.95 0.86 0.86 1.05 0.00 1.38 0.81

time (sec)

N/A 0.047 0.024 0.772 0.212 0.244 0.000 0.306 19.762

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 25 13 81 14 18894 13 13

N.S.

1 1.00 2.08 1.08 6.75 1.17 1574.50 1.08 1.08

time (sec)

N/A 0.027 0.009 0.588 0.208 0.240 133.805 0.266 19.667

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 44 24 656 65 0 37 36

N.S.

1 1.00 1.47 0.80 21.87 2.17 0.00 1.23 1.20

time (sec)

N/A 0.054 0.041 0.457 0.241 0.259 0.000 0.255 19.508

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 48 46 308 54 0 35 37

N.S.

1 1.00 1.14 1.10 7.33 1.29 0.00 0.83 0.88

time (sec)

N/A 0.077 0.373 0.790 0.309 0.244 0.000 0.304 19.412

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 54 62 3188 138 0 74 82

N.S.

1 1.00 0.90 1.03 53.13 2.30 0.00 1.23 1.37

time (sec)

N/A 0.087 0.372 0.689 0.293 0.253 0.000 0.328 0.208

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 90 68 1227 86 0 56 55

N.S.

1 1.00 1.25 0.94 17.04 1.19 0.00 0.78 0.76

time (sec)

N/A 0.089 0.236 1.094 0.247 0.254 0.000 0.294 20.868

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 76 98 7650 194 0 94 114

N.S.

1 1.00 0.84 1.09 85.00 2.16 0.00 1.04 1.27

time (sec)

N/A 0.102 0.434 1.165 0.483 0.261 0.000 0.274 19.563

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 132 90 2710 118 0 76 83

N.S.

1 1.00 1.29 0.88 26.57 1.16 0.00 0.75 0.81

time (sec)

N/A 0.099 0.418 1.797 0.328 0.249 0.000 0.299 19.760

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 119 47 91 46 0 314 46

N.S.

1 1.00 1.95 0.77 1.49 0.75 0.00 5.15 0.75

time (sec)

N/A 0.087 1.378 168.671 0.222 0.270 0.000 0.374 19.629

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 76 57 91 83 0 56 55

N.S.

1 1.00 1.00 0.75 1.20 1.09 0.00 0.74 0.72

time (sec)

N/A 0.094 0.108 111.372 0.217 0.263 0.000 0.338 19.547

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 104 37 80 36 0 248 36

N.S.

1 1.00 2.26 0.80 1.74 0.78 0.00 5.39 0.78

time (sec)

N/A 0.079 0.785 68.809 0.214 0.263 0.000 0.337 19.809

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 61 47 69 63 0 46 45

N.S.

1 1.00 1.00 0.77 1.13 1.03 0.00 0.75 0.74

time (sec)

N/A 0.084 0.045 41.565 0.236 0.252 0.000 0.318 0.068

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 27 27 47 26 0 182 26

N.S.

1 1.00 0.87 0.87 1.52 0.84 0.00 5.87 0.84

time (sec)

N/A 0.070 0.143 23.729 0.229 0.242 0.000 0.309 20.307

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 37 37 47 43 0 36 36

N.S.

1 1.00 0.80 0.80 1.02 0.93 0.00 0.78 0.78

time (sec)

N/A 0.082 0.102 12.738 0.228 0.241 0.000 0.293 0.065

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 34 13 0 74 13

N.S.

1 1.00 1.00 0.93 2.27 0.87 0.00 4.93 0.87

time (sec)

N/A 0.053 0.008 5.188 0.214 0.251 0.000 0.297 0.047

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 28 22 23 21 0 22 24

N.S.

1 1.00 1.04 0.81 0.85 0.78 0.00 0.81 0.89

time (sec)

N/A 0.046 0.011 2.803 0.215 0.238 0.000 0.455 19.668

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 44 29 92 38 0 54 22

N.S.

1 1.00 1.83 1.21 3.83 1.58 0.00 2.25 0.92

time (sec)

N/A 0.053 0.049 2.026 0.220 0.244 0.000 0.316 21.141

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 14 84 13 0 13 13

N.S.

1 1.00 1.00 1.27 7.64 1.18 0.00 1.18 1.18

time (sec)

N/A 0.033 0.014 1.230 0.199 0.234 0.000 0.267 0.042

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 31 41 834 94 0 52 38

N.S.

1 1.00 0.72 0.95 19.40 2.19 0.00 1.21 0.88

time (sec)

N/A 0.062 0.025 0.560 0.332 0.252 0.000 0.264 19.907

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 129 71 2237 132 0 160 66

N.S.

1 1.00 1.84 1.01 31.96 1.89 0.00 2.29 0.94

time (sec)

N/A 0.091 4.630 0.684 0.252 0.253 0.000 0.319 0.114

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 31 87 3095 166 0 82 71

N.S.

1 1.00 0.38 1.07 38.21 2.05 0.00 1.01 0.88

time (sec)

N/A 0.090 0.043 0.866 0.428 0.269 0.000 0.350 19.498

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 278 107 4268 194 0 268 100

N.S.

1 1.00 2.48 0.96 38.11 1.73 0.00 2.39 0.89

time (sec)

N/A 0.107 1.154 1.192 0.380 0.264 0.000 0.307 19.624

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

136 136 98 183661410 0 291 0 0 0

N.S.

1 1.00 0.72 1350451.54 0.00 2.14 0.00 0.00 0.00

time (sec)

N/A 0.119 0.462 76.221 0.000 0.262 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

110 110 86 73677072 0 280 0 0 0

N.S.

1 1.00 0.78 669791.56 0.00 2.55 0.00 0.00 0.00

time (sec)

N/A 0.088 0.317 24.149 0.000 0.277 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

84 84 72 6800166 0 266 0 0 0

N.S.

1 1.00 0.86 80954.36 0.00 3.17 0.00 0.00 0.00

time (sec)

N/A 0.054 0.178 3.391 0.000 0.269 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

58 58 50 18281230 0 240 0 0 0

N.S.

1 1.00 0.86 315193.62 0.00 4.14 0.00 0.00 0.00

time (sec)

N/A 0.025 0.150 3.743 0.000 0.256 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

23 23 22 65687946 0 39 0 2029 34

N.S.

1 1.00 0.96 2855997.65 0.00 1.70 0.00 88.22 1.48

time (sec)

N/A 0.023 0.019 12.355 0.000 0.266 0.000 14.018 19.947

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 43 597 0 69 0 7875 108

N.S.

1 1.00 0.81 11.26 0.00 1.30 0.00 148.58 2.04

time (sec)

N/A 0.051 0.305 27.099 0.000 0.272 0.000 52.847 24.348

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 52 308 0 88 0 18022 131

N.S.

1 1.00 0.66 3.90 0.00 1.11 0.00 228.13 1.66

time (sec)

N/A 0.075 0.444 247.658 0.000 0.264 0.000 181.626 24.051

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F A F(-1) F(-1) B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 105 67 0 0 113 0 0 351

N.S.

1 1.00 0.64 0.00 0.00 1.08 0.00 0.00 3.34

time (sec)

N/A 0.103 0.500 0.000 0.000 0.273 0.000 0.000 24.963

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 96 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.081 3.589 0.000 0.000 0.000 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

69 69 66 312731247 0 0 0 0 0

N.S.

1 1.00 0.96 4532336.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.058 0.421 176.980 0.000 0.000 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

69 69 76 185748620 0 0 0 0 0

N.S.

1 1.00 1.10 2692008.99 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.060 0.464 65.320 0.000 0.000 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

40 40 34 17183759 0 0 0 0 0

N.S.

1 1.00 0.85 429593.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.051 0.236 7.405 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

40 40 75 61245868 0 0 0 0 0

N.S.

1 1.00 1.88 1531146.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.051 0.383 14.818 0.000 0.000 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

45 45 41 108031867 0 156 0 0 0

N.S.

1 1.00 0.91 2400708.16 0.00 3.47 0.00 0.00 0.00

time (sec)

N/A 0.046 0.267 26.139 0.000 0.100 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 83 123 0 94 0 0 0

N.S.

1 1.00 1.73 2.56 0.00 1.96 0.00 0.00 0.00

time (sec)

N/A 0.045 0.412 28.151 0.000 0.095 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 66 227 0 212 0 0 0

N.S.

1 1.00 0.86 2.95 0.00 2.75 0.00 0.00 0.00

time (sec)

N/A 0.068 1.177 58.819 0.000 0.106 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

136 136 98 404845695 0 290 0 0 0

N.S.

1 1.00 0.72 2976806.58 0.00 2.13 0.00 0.00 0.00

time (sec)

N/A 0.132 0.536 95.121 0.000 0.269 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

110 110 86 57690707 0 281 0 0 0

N.S.

1 1.00 0.78 524460.97 0.00 2.55 0.00 0.00 0.00

time (sec)

N/A 0.104 0.365 16.218 0.000 0.260 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

84 84 74 202764172 0 268 0 0 0

N.S.

1 1.00 0.88 2413859.19 0.00 3.19 0.00 0.00 0.00

time (sec)

N/A 0.076 0.290 39.736 0.000 0.267 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

81 81 72 178923370 0 296 0 0 0

N.S.

1 1.00 0.89 2208930.49 0.00 3.65 0.00 0.00 0.00

time (sec)

N/A 0.095 0.265 28.412 0.000 0.261 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 27 727 0 48 0 15648 85

N.S.

1 1.00 0.96 25.96 0.00 1.71 0.00 558.86 3.04

time (sec)

N/A 0.037 0.262 83.161 0.000 0.255 0.000 102.081 22.201

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 35 4684 0 55 0 0 88

N.S.

1 1.00 0.64 85.16 0.00 1.00 0.00 0.00 1.60

time (sec)

N/A 0.060 0.422 183.395 0.000 0.243 0.000 0.000 25.137

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F A F(-1) F(-1) B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 55 0 0 79 0 0 300

N.S.

1 1.00 0.68 0.00 0.00 0.98 0.00 0.00 3.70

time (sec)

N/A 0.090 0.509 0.000 0.000 0.254 0.000 0.000 24.635

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F(-1) F A F(-1) F(-1) B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 107 62 0 0 98 0 0 383

N.S.

1 1.00 0.58 0.00 0.00 0.92 0.00 0.00 3.58

time (sec)

N/A 0.132 0.878 0.000 0.000 0.277 0.000 0.000 25.910

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 98 973 0 290 0 0 0

N.S.

1 1.00 0.72 7.15 0.00 2.13 0.00 0.00 0.00

time (sec)

N/A 0.171 0.567 7.124 0.000 0.284 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

110 110 86 26835015 0 281 0 0 0

N.S.

1 1.00 0.78 243954.68 0.00 2.55 0.00 0.00 0.00

time (sec)

N/A 0.135 0.330 12.119 0.000 0.270 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

81 81 70 5540414 0 266 0 0 0

N.S.

1 1.00 0.86 68400.17 0.00 3.28 0.00 0.00 0.00

time (sec)

N/A 0.091 0.201 4.736 0.000 0.265 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 52 157 0 242 0 0 0

N.S.

1 1.00 0.98 2.96 0.00 4.57 0.00 0.00 0.00

time (sec)

N/A 0.066 0.130 2.643 0.000 0.270 0.000 0.000 0.000

[next] [front] [up]